CSci 450: Org. of Programming Languages Evaluation and Efficiency
نویسنده
چکیده
3 Evaluation and Efficiency 2 3.1 Chapter Introduction . . . . . . . . . . . . . . . . . . . . . . . . . 2 3.2 Evaluation of Functional Programs . . . . . . . . . . . . . . . . . 2 3.2.1 Referential transparency . . . . . . . . . . . . . . . . . . . 3 3.2.2 Substitution model . . . . . . . . . . . . . . . . . . . . . . 3 3.2.3 Time and space complexity . . . . . . . . . . . . . . . . . 7 3.2.4 Termination . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3.2.5 Preconditions and postconditions . . . . . . . . . . . . . . 8 3.3 Linear and Nonlinear Recursion . . . . . . . . . . . . . . . . . . . 9 3.3.1 Linear recursion . . . . . . . . . . . . . . . . . . . . . . . 9 3.3.2 Nonlinear recursion . . . . . . . . . . . . . . . . . . . . . . 10 3.4 Backward and Forward Recursion . . . . . . . . . . . . . . . . . . 11 3.4.1 Backward recursion . . . . . . . . . . . . . . . . . . . . . 11 3.4.2 Forward recursion . . . . . . . . . . . . . . . . . . . . . . 11 3.4.3 Tail recursion . . . . . . . . . . . . . . . . . . . . . . . . . 12 3.5 Logarithmic Recursion . . . . . . . . . . . . . . . . . . . . . . . . 14 3.5.1 Haskell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.5.2 Scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.5.3 Elixir . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3.5.4 Scala . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.5.5 Lua . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3.5.6 Elm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3.7 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3.8 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3.9 Terms and Concepts . . . . . . . . . . . . . . . . . . . . . . . . . 24
منابع مشابه
Evaluation of Origanum Vulgare L. ssp. Viridis Leaves Extract Effect on Discrimination Learning and LTP Induction in the CA1 Region of the Rat Hippocampus
Objective(s) The objective of this study was to determine the effect of aqueous extract of Origanum vulgare L. ssp. Viridis (ORG) on discrimination learning and long term potentiation (LTP) in CA1 region of the rat hippocampus. Materials and Methods A group of adult male Wistar rats weighing 275±25 g received aqueous extract of ORG (150, 300, 450 mg/kg/day) by intraperitoneal injection for one ...
متن کاملCSci 450: Organization of Programming Languages Developing Functional Programs
6 Developing Functional Programs 2 6.1 Chapter Introduction . . . . . . . . . . . . . . . . . . . . . . . . . 2 6.2 Developing a Cosequential Processing Family . . . . . . . . . . . 2 6.2.1 Function generalization . . . . . . . . . . . . . . . . . . . 2 6.2.2 Scope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 6.2.3 Frozen spots . . . . . . . . . . . . . . . . . . . . . . . . . 3 ...
متن کاملA New Goal programming approach for cross efficiency evaluation
Cross efficiency evaluation was developed as an extension of DEA. But the traditional DEA models usually have alternative optimal solutions and, as a result, cross efficiency scores may not be unique. It is recommended that without changing the DEA efficiency scores, the secondary goal should be introduced for optimization of the inputs/outputs weights. Several reports evaluated the perfo...
متن کاملMagic Potion : A Metalanguage for Incorporating
if your preferred environment requires only a few features from another paradigm, you must typically adopt the whole alien platform to take advantage of them. The alternative of using other languages and tools to implement the features in a way that avoids adding the whole platform is generally at least as difficult. But a more affordable solution is often possible. We used metaprogramming to i...
متن کاملA mixed integer bi-level DEA model for bank branch performance evaluation by Stackelberg approach
One of the most complicated decision making problems for managers is the evaluation of bank performance, which involves various criteria. There are many studies about bank efficiency evaluation by network DEA in the literature review. These studies do not focus on multi-level network. Wu (Eur J Oper Res 207:856–864, 2010) proposed a bi-level structure for cost efficiency at the first time. In t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017